Fast Payoff Matrix Sparsification Techniques for Structured Extensive-Form Games

نویسندگان

چکیده

The practical scalability of many optimization algorithms for large extensive-form games is often limited by the games' huge payoff matrices. To ameliorate issue, Zhang and Sandholm recently proposed a sparsification technique that factorizes matrix A into sparser object = Â + UVᵀ, where total combined number nonzeros Â, U, V, significantly smaller. Such factorization can be used in place original algorithm, such as interior-point second-order methods, thus increasing size handled. Their sparsifies poker (end)games, standard benchmarks computational game theory, AI, more broadly. We show existence extremely sparse factorizations tied to their particular Kronecker-product structure. clarify how structure arises introduce connection between sparsification. By leveraging structure, we give two ways computing strong sparsifications (as well any other with similar structure) are i) orders magnitude faster compute, ii) numerically stable, iii) produce dramatically smaller than prior technique. Our techniques enable—for first time—effective computation high-precision Nash equilibria strategies subject constraints on amount allowed randomization. Furthermore, they speed up parallel first-order game-solving algorithms; state-of-the-art GPU.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extensive-Form Argumentation Games

Two prevalent approaches to automated negotiation are the application of game-theoretic notions and the argumentation-based angle; these two schemes are frequently at odds. An elegant view of argumentation is Dung’s abstract argumentation theory [2], which cold-shoulders the internal structure of arguments in favor of the entire debate’s global structure. Dung’s theory is elaborated by work in ...

متن کامل

Extensive Form Games

I. Review of the Notation of Extensive Form Game Theory A. Let T be a finite set of nodes, thought of as states of the game where uncertainty is resolved, a choice is made, or, in the case of terminal nodes, where the game is over and payoffs are realized. 1. The nodes in T are partially ordered by a relation called precedence. 2. Formally the precedence relation is ≺ ⊂ T × T . 3. We assume tha...

متن کامل

Extensive Form Games

e c a s t s a b o u t t h e f u t u r e m a r k e t. u c t m a r k e t , fi r m s m u s t m a k e d e c i s i o n s a b o u t w h e t h e r t o e n t e r m a r k e t s a n d w h a t p r o d-u c t s t o i n t r o d u c e .

متن کامل

Decision Support for Extensive Form Negotiation Games

This paper presents a tool, NEGEXT, for finding individual and group strategies to achieve certain goals while playing extensive form negotiation games. NEGEXT is used as a model-checking tool which investigates the existence of strategies in negotiation situations. We consider sequential and parallel combinations of such games also. Thus, it may aid students of negotiation in their understandi...

متن کامل

An Adjusted Payoff-Based Procedure for Normal Form Games

We study a simple adaptive model in the framework of an N -player normal form game. The model consists of a repeated game where the players only know their own strategy space and their own payoff scored at each stage. The information about the other agents (actions and payoffs) is unknown. In particular, we consider a variation of the procedure studied by Cominetti et al. [9] where, in our case...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the ... AAAI Conference on Artificial Intelligence

سال: 2022

ISSN: ['2159-5399', '2374-3468']

DOI: https://doi.org/10.1609/aaai.v36i5.20431